- 二阶逻辑
- second: n. 1.秒 (＝1/60分)；秒(针)。 2.片刻；一 ...
- order: n. 1.次序，顺序；整齐；(社会)秩序，治安；状况，常 ...
- logic: n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
- second order logic: 二阶逻辑
- second logic: 二极逻辑
下载手机词典可随时随地查词查翻译
second-order logic中文什么意思
- 二阶逻辑
下载手机词典可随时随地查词查翻译
例句与用法
- Second - order logic
高阶逻辑
百科释义
In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic.Shapiro (1991) and Hinman (2005) give complete introductions to the subject, with full definitions.
详细百科解释